COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M0BASL30\M1BASI30\M2BASB30\MENGR40\M3NGR25\M4NGR20\MFSTA200\
C00005 ENDMK
C⊗;
\\M0BASL30;\M1BASI30;\M2BASB30;\MENGR40;\M3NGR25;\M4NGR20;\MFSTA200;\;
\'3;↓↓\FFS\FE
\'3;↓Q\CSTANFORD UNIVERSITY
\F3\CSTANFORD, CALIFORNIA 94305
\F4



ARTIFICIAL INTELLIGENCE LABORATORY\←L\-R\/'7;\+R\→.\→S   Telephone:
COMPUTER SCIENCE DEPARTMENT\←S\→.415-497-4430
\F0\C16 January 1975


Miss J. Harrington
University of Oxford
University Registry
Clarendon Building
Broad Street
Oxford, OX1 38D, ENGLAND

Dear Miss Harrington:

\JThis is in reply to your request of 8 January for information about Arthur Thomas and
his application for an IBM fellowship (your reference IBM/4(Sub)).

Mr. Thomas has shown wideranging scientific and philosophical interests
since he has been here.  He has been active in vision research, in our
efforts to make a computer proof-checker for first order logic, and he
has added facilities for handling modal logic that he designed himself.
His thesis topic shows originality, but I am not yet sure that the work
will be entirely successful.  I hope to be able to say much more later.
I can, however, add that he has an excellent knowledge of computer science,
psychology, and philosophy, so if I had to make a final judgment on information
now available, I would consider him a very strong candidate indeed.\.


\←L\→S\←R\-L\/'2;\+L\→L
Sincerely yours,





John McCarthy
Director, Artificial Intelligence Laboratory
Professor of Computer Science
\←S\→L
JMC:pw
oxford.le1[let,jmc]:SU-AI